The Computer Journal

Results: 890



#Item
271NP-complete problems / Conjunctive normal form / Combinatorics / Boolean satisfiability problem / String / Permutation / PP / 2-satisfiability / MAX-3SAT / Theoretical computer science / Mathematics / Computational complexity theory

Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 11 Satisfiability Coding Lemma ISSN 1073–0486. MIT Press Journals, Five Cambridge Center, Cambridge,

Add to Reading List

Source URL: cjtcs.cs.uchicago.edu

Language: English - Date: 2000-02-20 22:53:43
272Computing / Local consistency / Constraint satisfaction / Self-stabilization / Distributed computing / Constraint graph / Scheduling / Backtracking / Search algorithm / Constraint programming / Software engineering / Computer programming

Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 10 Self-stabilizing Distributed Constraint Satisfaction ISSN 1073–0486. MIT Press Journals, Five Cambridge Center, Cambridge,

Add to Reading List

Source URL: cjtcs.cs.uchicago.edu

Language: English - Date: 2000-02-21 01:31:44
273Boolean algebra / Complexity classes / Logic in computer science / Binary decision diagram / Model checking / Boolean function / Boolean circuit / Circuit / FO / Theoretical computer science / Mathematics / Computational complexity theory

Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 5 Complexity of Problems on Graphs Represented as OBDDs

Add to Reading List

Source URL: cjtcs.cs.uchicago.edu

Language: English - Date: 1999-10-12 16:14:35
274Optics / Pose / Robot control / Geographic information system / Image scanner / 3D imaging / Digital photography / Computer vision / Imaging / Vision

Geiger, Andreas ; Lenz, Philip ; Stiller, Christoph ; Urtasun, Raquel: Vision meets Robotics: The KITTI Dataset. 1 International Journal of Robotics Research (IJRR), pp. 1229–1235 Vision meets Robotics: The K

Add to Reading List

Source URL: www.mrt.kit.edu

Language: English
275Networks / Hopfield network / Science / Mind / Self-stabilization / John Hopfield / Storage / Attractor network / Neural networks / Computational neuroscience / Cybernetics

Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 6 Hopfield Neural Networks and Self-Stabilization ISSN 1073–0486. MIT Press Journals, Five Cambridge Center, Cambridge,

Add to Reading List

Source URL: cjtcs.cs.uchicago.edu

Language: English - Date: 1999-10-13 17:16:40
2763D computer graphics / Tree traversal / Graph / Vertex / Mesh generation / Polygon mesh / Graph theory / Mathematics / Theoretical computer science

(This is a sample cover image for this issue. The actual cover is not yet available at this time.) This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-

Add to Reading List

Source URL: meshcompression.org

Language: English - Date: 2014-01-25 07:24:06
277Computer file formats / Documents / Manuscript / Peer review / Citation / Scientific literature / RIS / Book / Electronic submission / Knowledge / Science / Information

This document is frequently updated; the current version can be found online at the Internet site: . Information for contributors to the Journal of the Acou

Add to Reading List

Source URL: scitation.aip.org

Language: English - Date: 2014-08-27 08:49:48
278BACnet / Communication / Software engineering / Computer programming / Building automation / Network protocols / Computing

BACnet Today and the Smart Grid This article was published in ASHRAE Journal, NovemberCopyright 2012 ASHRAE. Posted at www.ashrae.org. This article may not be copied and/or distributed electronically or in paper f

Add to Reading List

Source URL: www.bacnet.org

Language: English - Date: 2014-01-07 12:40:19
279RenderMan / 3D graphics software / Shading / RenderMan Interface Specification / Rendering / Radiosity / RenderMan Shading Language / Reyes rendering / Shading language / Computer graphics / 3D computer graphics / Imaging

Reference: Gritz, Larry and James K. Hahn, “BMRT: A Global Illumination Implementation of the RenderMan Standard,” Journal of Graphics Tools, Vol. 1, No. 3, ppBMRT: A Global Illumination Implementatio

Add to Reading List

Source URL: www.siggraph.org

Language: English - Date: 2001-06-26 13:58:57
280Infographics / Computer graphics / Scientific modeling / Communication design / Visual arts / Geovisualization / Spatial analysis / Information visualization / Information graphics / Visualization / Science / Cartography

Draft of paper to appear in a special issue of the Information Design Journal An evolving cognitive-semiotic approach to geographic visualization and knowledge construction Alan M. MacEachren GeoVISTA Center, www.geovis

Add to Reading List

Source URL: www.geovista.psu.edu

Language: English - Date: 2000-07-17 00:00:00
UPDATE